首页> 外文OA文献 >Quantitative Computation Tree Logic Model Checking Based on Generalized Possibility Measures

【2h】

Quantitative Computation Tree Logic Model Checking Based on Generalized Possibility Measures

机译：基于广义可能性度量的定量计算树逻辑模型检验

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Yongming Li; Zhanyou Ma;
展开▼
作者单位

展开▼
年度 2016
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Quantitative Computation Tree Logic Model Checking Based on Generalized Possibility Measures [J] . Li Yongming, Ma Zhanyou Fuzzy Systems, IEEE Transactions on . 2015,第6期

机译：基于广义可能性测度的定量计算树逻辑模型检查
2. Computation tree logic model checking based on multi-valued possibility measures [J] . Li Yongming, Lei Lihui, Li Sanjiang Information Sciences: An International Journal . 2019,第期

机译：基于多价措施的计算树逻辑模型检查
3. Computation tree logic model checking based on possibility measures [J] . Yongming Li, Yali Li, Zhanyou Ma Fuzzy sets and systems . 2015,第mara1期

机译：基于可能性测度的计算树逻辑模型检查
4. Model Checking Approach for Deadlock Detection in an Operating System Process-Resource Graph Using Dynamic Model Generating and Computation Tree Logic Specification [C] . Thitivatr PatanasakPinyo International conference on computers and their applications . 2019

机译：使用动态模型生成和计算树逻辑规范的操作系统过程资源图中死锁检测的模型检查方法
5. Bayesian model checking for generalized linear spatial models for count data. [D] . Jing, Liang. 2011

机译：用于计数数据的广义线性空间模型的贝叶斯模型检查。
6. Action-Based Model Checking: Logic Automata and Reduction [O] . Stephen F. Siegel, Yihao Yan -1

机译：基于动作的模型检查：逻辑自动机和减少
7. Quantitative Computation Tree Logic Model Checking Based on Generalized Possibility Measures [O] . Li, Yongming, Ma, Zhanyou 2014

机译：基于广义系统的定量计算树逻辑模型检测可能性措施

Quantitative Computation Tree Logic Model Checking Based on Generalized Possibility Measures

著录项

引文网络

相似文献

相关主题

期刊订阅